#include<stdio.h>
int main()
{
    char s[8];
    scanf("%s",s);
    printf("Hello %s",s);
    return 0;
}